Determining r- and (r,s)-robustness of digraphs using mixed integer linear programming
نویسندگان
چکیده
منابع مشابه
Trajectory Optimization using Mixed-Integer Linear Programming
This thesis presents methods for finding optimal trajectories for vehicles subjected to avoidance and assignment requirements. The former include avoidance of collisions with obstacles or other vehicles and avoidance of thruster plumes from spacecraft. Assignment refers to the inclusion of decisions about terminal constraints in the optimization, such as assignment of waypoints to UAVs and the ...
متن کاملDifferential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
Differential and linear cryptanalysis are two of the most powerful techniques to analyze symmetric-key primitives. For modern ciphers, resistance against these attacks is therefore a mandatory design criterion. In this paper, we propose a novel technique to prove security bounds against both differential and linear cryptanalysis. We use mixedinteger linear programming (MILP), a method that is f...
متن کاملOptimal Setting Sor Under Frequency Load Shedding Relays Using Mixed Integer Linear Programming
After occurrence of some disturbances in power system that causes the sever imbalance between generation power and electrical load, the power system frequency begins to decrease. To prevent power system frequency instability and stop the frequency decay below the power system allowable frequency limitation, load shedding schemes should be utilized by applying under frequency load shedding relay...
متن کاملMixed and Integer Linear Programming Using Automata Techniques
We present a comprehensive overview of automata techniques for deciding first order logical theories. These techniques are useful in Integer Linear Programming and Mixed Integer Linear Programming, which in turn have wide applications in diverse areas of computer science and engineering. We have several goals in this paper. The first is to solidify the theory underpinning the automata technique...
متن کاملInference of chemical reaction networks using mixed integer linear programming
The manual determination of chemical reaction networks (CRN) and reaction rate equations is cumbersome and becomes workload prohibitive for large systems. In this paper, a framework is developed that allows an almost entirely automated recovery of sets of reactions comprising a CRN using experimental data. A global CRN structure is used describing all feasible chemical reactions between chemica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2020
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2019.108586